
package nachos.network;

public interface TimerListener {
   public void handleTimer( int time );
}
